More from this Author

Are Angels OK?

by Paul Callaghan (Editor), Bill Manhire (Editor)

Types for Proofs and Programs

by Paul Callaghan (Editor), Zhaohui Luo (Editor), James McKinna (Editor), Robert Pollack (Editor)

Types for Proofs and Programs

by Paul Callaghan (Editor), Zhaohui Luo (Editor), James McKinna (Editor)